Division is in Uniform TC
نویسنده
چکیده
Integer division has been known since 1986 [4, 13, 12] to be in slightly non-uniform TC, i.e., computable by polynomial-size, constant depth threshold circuits. This has been perhaps the outstanding natural problem known to be in a standard circuit complexity class, but not known to be in its uniform version. We show that indeed division is in uniform TC. A key step of our proof is the discovery of a first-order formula expressing exponentiation modulo any number of polynomial size.
منابع مشابه
Uniform constant-depth threshold circuits for division and iterated multiplication
It has been known since the mid-1980's [15, 46, 47] that integer division can be performed by poly-time uniform constant-depth circuits of Majority gates; equivalently, the division problem lies in P-uniform TC 0. Recently this was improved to L-uniform TC 0 [19], but it remained unknown whether division can be performed by DLOGTIME-uniform TC 0 circuits. The DLOGTIME uniformity condition is re...
متن کاملUniform Circuits for Division: Consequences and Problems
Integer division has been known to lie in P-uniform TC since the mid1980’s, and recently this was improved to L-uniform TC. At the time that the results in this paper were proved and submitted for conference presentation, it was unknown whether division lay in DLOGTIME-uniform TC (also known as FOM). We obtain tight bounds on the uniformity required for division, by showing that division is com...
متن کاملLow-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs
We present improved uniform TC circuits for division, matrix powering, and related problems, where the improvement is in terms of “majority depth” (initially studied by Maciel and Thérien). As a corollary, we obtain improved bounds on the complexity of certain problems involving arithmetic circuits, which are known to lie in the counting hierarchy.
متن کاملBreast cancer imaging: a new role of Tc-99m sestamibi prone scintimammography for diagnosisof breast cancer
Mammography remians the procedure of choice in screening asymptomatic women for breast cancer. However, in patients with symptoms, other types of imaging play an important role in the detection of malignancies. The high cost and lack of availability of PET and MRI largely precludes the use in this patient population. TI-201 is nbt the imaging agent of choice because of its wash-out and redistri...
متن کاملPrimary Hyperaparathyroidism due to Cystic Parathyroid Adenoma not Detected on Tc-Sestamibi Scan
Received: 31 August 2011, Accepted: 17 October 2011 Corresponding author: Chan Soo Shin Division of Endocrinology and Metabolism, Department of Internal Medicine, Seoul National University Hospital, Seoul National University College of Medicine, 101 Daehak-ro, Jongno-gu, Seoul 110-744, Korea Tel: +82-2-2072-3734, Fax: +82-2-765-3734, E-mail: [email protected] Primary Hyperaparathyroidism due to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001